OPTIONS:
AUTO_HEADER=FALSE
CONSTANTS:
SIZE=9
VARIABLES:
R1C1={1..SIZE}
R1C2={1..SIZE}
R1C3={1..SIZE}
R1C4={1..SIZE}
R1C5={1..SIZE}
R1C6={1..SIZE}
R1C7={1..SIZE}
R1C8={1..SIZE}
R1C9={1..SIZE}
R2C1={1..SIZE}
R2C2={1..SIZE}
R2C3={1..SIZE}
R2C4={1..SIZE}
R2C5={1..SIZE}
R2C6={1..SIZE}
R2C7={1..SIZE}
R2C8={1..SIZE}
R2C9={1..SIZE}
R3C1={1..SIZE}
R3C2={1..SIZE}
R3C3={1..SIZE}
R3C4={1..SIZE}
R3C5={1..SIZE}
R3C6={1..SIZE}
R3C7={1..SIZE}
R3C8={1..SIZE}
R3C9={1..SIZE}
R4C1={1..SIZE}
R4C2={1..SIZE}
R4C3={1..SIZE}
R4C4={1..SIZE}
R4C5={1..SIZE}
R4C6={1..SIZE}
R4C7={1..SIZE}
R4C8={1..SIZE}
R4C9={1..SIZE}
R5C1={1..SIZE}
R5C2={1..SIZE}
R5C3={1..SIZE}
R5C4={1..SIZE}
R5C5={1..SIZE}
R5C6={1..SIZE}
R5C7={1..SIZE}
R5C8={1..SIZE}
R5C9={1..SIZE}
R6C1={1..SIZE}
R6C2={1..SIZE}
R6C3={1..SIZE}
R6C4={1..SIZE}
R6C5={1..SIZE}
R6C6={1..SIZE}
R6C7={1..SIZE}
R6C8={1..SIZE}
R6C9={1..SIZE}
R7C1={1..SIZE}
R7C2={1..SIZE}
R7C3={1..SIZE}
R7C4={1..SIZE}
R7C5={1..SIZE}
R7C6={1..SIZE}
R7C7={1..SIZE}
R7C8={1..SIZE}
R7C9={1..SIZE}
R8C1={1..SIZE}
R8C2={1..SIZE}
R8C3={1..SIZE}
R8C4={1..SIZE}
R8C5={1..SIZE}
R8C6={1..SIZE}
R8C7={1..SIZE}
R8C8={1..SIZE}
R8C9={1..SIZE}
R9C1={1..SIZE}
R9C2={1..SIZE}
R9C3={1..SIZE}
R9C4={1..SIZE}
R9C5={1..SIZE}
R9C6={1..SIZE}
R9C7={1..SIZE}
R9C8={1..SIZE}
R9C9={1..SIZE}

RULES:

// Sudoku 1
// Uncomment any to force 1 solution only
R1C1=1
//R1C2=5
R1C3=4
//R1C4=6
R1C5=9
R1C6=3
R1C7=8
R1C8=2
//R1C9=7
R2C1=8
//R2C2=7
R2C3=3
//R2C4=5
R2C5=2
R2C6=1
R2C7=9
R2C8=4
//R2C9=6
R3C1=6
R3C2=2
R3C3=9
R3C4=4
R3C5=7
R3C6=8
R3C7=5
R3C8=1
R3C9=3
R4C1=3
R4C3=5
R4C4=7
R4C5=8
R4C6=2
R4C7=4
R4C8=9
R4C9=1
R5C1=4
R5C3=1
R5C4=9
R5C5=5
R5C6=6
R5C7=7
R6C1=2
R6C3=7
R6C4=3
R6C5=1
R6C6=4
R6C7=6
R6C8=8
R6C9=5
R7C1=7
R7C2=4
R7C3=6
R7C4=1
R7C5=3
R7C6=9
R7C7=2
R7C8=5
R7C9=8
R8C1=9
R8C2=1
R8C3=2
R8C6=5
R8C7=3
R8C8=7
R8C9=4
R9C1=5
R9C2=3
R9C3=8
R9C4=2
R9C5=4
R9C6=7
R9C7=1
R9C8=6
R9C9=9



// Rows
R1C1!=R1C2
R1C1!=R1C3
R1C1!=R1C4
R1C1!=R1C5
R1C1!=R1C6
R1C1!=R1C7
R1C1!=R1C8
R1C1!=R1C9
R1C2!=R1C3
R1C2!=R1C4
R1C2!=R1C5
R1C2!=R1C6
R1C2!=R1C7
R1C2!=R1C8
R1C2!=R1C9
R1C3!=R1C4
R1C3!=R1C5
R1C3!=R1C6
R1C3!=R1C7
R1C3!=R1C8
R1C3!=R1C9
R1C4!=R1C5
R1C4!=R1C6
R1C4!=R1C7
R1C4!=R1C8
R1C4!=R1C9
R1C5!=R1C6
R1C5!=R1C7
R1C5!=R1C8
R1C5!=R1C9
R1C6!=R1C7
R1C6!=R1C8
R1C6!=R1C9
R1C7!=R1C8
R1C7!=R1C9
R1C8!=R1C9
R2C1!=R2C2
R2C1!=R2C3
R2C1!=R2C4
R2C1!=R2C5
R2C1!=R2C6
R2C1!=R2C7
R2C1!=R2C8
R2C1!=R2C9
R2C2!=R2C3
R2C2!=R2C4
R2C2!=R2C5
R2C2!=R2C6
R2C2!=R2C7
R2C2!=R2C8
R2C2!=R2C9
R2C3!=R2C4
R2C3!=R2C5
R2C3!=R2C6
R2C3!=R2C7
R2C3!=R2C8
R2C3!=R2C9
R2C4!=R2C5
R2C4!=R2C6
R2C4!=R2C7
R2C4!=R2C8
R2C4!=R2C9
R2C5!=R2C6
R2C5!=R2C7
R2C5!=R2C8
R2C5!=R2C9
R2C6!=R2C7
R2C6!=R2C8
R2C6!=R2C9
R2C7!=R2C8
R2C7!=R2C9
R2C8!=R2C9
R3C1!=R3C2
R3C1!=R3C3
R3C1!=R3C4
R3C1!=R3C5
R3C1!=R3C6
R3C1!=R3C7
R3C1!=R3C8
R3C1!=R3C9
R3C2!=R3C3
R3C2!=R3C4
R3C2!=R3C5
R3C2!=R3C6
R3C2!=R3C7
R3C2!=R3C8
R3C2!=R3C9
R3C3!=R3C4
R3C3!=R3C5
R3C3!=R3C6
R3C3!=R3C7
R3C3!=R3C8
R3C3!=R3C9
R3C4!=R3C5
R3C4!=R3C6
R3C4!=R3C7
R3C4!=R3C8
R3C4!=R3C9
R3C5!=R3C6
R3C5!=R3C7
R3C5!=R3C8
R3C5!=R3C9
R3C6!=R3C7
R3C6!=R3C8
R3C6!=R3C9
R3C7!=R3C8
R3C7!=R3C9
R3C8!=R3C9
R4C1!=R4C2
R4C1!=R4C3
R4C1!=R4C4
R4C1!=R4C5
R4C1!=R4C6
R4C1!=R4C7
R4C1!=R4C8
R4C1!=R4C9
R4C2!=R4C3
R4C2!=R4C4
R4C2!=R4C5
R4C2!=R4C6
R4C2!=R4C7
R4C2!=R4C8
R4C2!=R4C9
R4C3!=R4C4
R4C3!=R4C5
R4C3!=R4C6
R4C3!=R4C7
R4C3!=R4C8
R4C3!=R4C9
R4C4!=R4C5
R4C4!=R4C6
R4C4!=R4C7
R4C4!=R4C8
R4C4!=R4C9
R4C5!=R4C6
R4C5!=R4C7
R4C5!=R4C8
R4C5!=R4C9
R4C6!=R4C7
R4C6!=R4C8
R4C6!=R4C9
R4C7!=R4C8
R4C7!=R4C9
R4C8!=R4C9
R5C1!=R5C2
R5C1!=R5C3
R5C1!=R5C4
R5C1!=R5C5
R5C1!=R5C6
R5C1!=R5C7
R5C1!=R5C8
R5C1!=R5C9
R5C2!=R5C3
R5C2!=R5C4
R5C2!=R5C5
R5C2!=R5C6
R5C2!=R5C7
R5C2!=R5C8
R5C2!=R5C9
R5C3!=R5C4
R5C3!=R5C5
R5C3!=R5C6
R5C3!=R5C7
R5C3!=R5C8
R5C3!=R5C9
R5C4!=R5C5
R5C4!=R5C6
R5C4!=R5C7
R5C4!=R5C8
R5C4!=R5C9
R5C5!=R5C6
R5C5!=R5C7
R5C5!=R5C8
R5C5!=R5C9
R5C6!=R5C7
R5C6!=R5C8
R5C6!=R5C9
R5C7!=R5C8
R5C7!=R5C9
R5C8!=R5C9
R6C1!=R6C2
R6C1!=R6C3
R6C1!=R6C4
R6C1!=R6C5
R6C1!=R6C6
R6C1!=R6C7
R6C1!=R6C8
R6C1!=R6C9
R6C2!=R6C3
R6C2!=R6C4
R6C2!=R6C5
R6C2!=R6C6
R6C2!=R6C7
R6C2!=R6C8
R6C2!=R6C9
R6C3!=R6C4
R6C3!=R6C5
R6C3!=R6C6
R6C3!=R6C7
R6C3!=R6C8
R6C3!=R6C9
R6C4!=R6C5
R6C4!=R6C6
R6C4!=R6C7
R6C4!=R6C8
R6C4!=R6C9
R6C5!=R6C6
R6C5!=R6C7
R6C5!=R6C8
R6C5!=R6C9
R6C6!=R6C7
R6C6!=R6C8
R6C6!=R6C9
R6C7!=R6C8
R6C7!=R6C9
R6C8!=R6C9
R7C1!=R7C2
R7C1!=R7C3
R7C1!=R7C4
R7C1!=R7C5
R7C1!=R7C6
R7C1!=R7C7
R7C1!=R7C8
R7C1!=R7C9
R7C2!=R7C3
R7C2!=R7C4
R7C2!=R7C5
R7C2!=R7C6
R7C2!=R7C7
R7C2!=R7C8
R7C2!=R7C9
R7C3!=R7C4
R7C3!=R7C5
R7C3!=R7C6
R7C3!=R7C7
R7C3!=R7C8
R7C3!=R7C9
R7C4!=R7C5
R7C4!=R7C6
R7C4!=R7C7
R7C4!=R7C8
R7C4!=R7C9
R7C5!=R7C6
R7C5!=R7C7
R7C5!=R7C8
R7C5!=R7C9
R7C6!=R7C7
R7C6!=R7C8
R7C6!=R7C9
R7C7!=R7C8
R7C7!=R7C9
R7C8!=R7C9
R8C1!=R8C2
R8C1!=R8C3
R8C1!=R8C4
R8C1!=R8C5
R8C1!=R8C6
R8C1!=R8C7
R8C1!=R8C8
R8C1!=R8C9
R8C2!=R8C3
R8C2!=R8C4
R8C2!=R8C5
R8C2!=R8C6
R8C2!=R8C7
R8C2!=R8C8
R8C2!=R8C9
R8C3!=R8C4
R8C3!=R8C5
R8C3!=R8C6
R8C3!=R8C7
R8C3!=R8C8
R8C3!=R8C9
R8C4!=R8C5
R8C4!=R8C6
R8C4!=R8C7
R8C4!=R8C8
R8C4!=R8C9
R8C5!=R8C6
R8C5!=R8C7
R8C5!=R8C8
R8C5!=R8C9
R8C6!=R8C7
R8C6!=R8C8
R8C6!=R8C9
R8C7!=R8C8
R8C7!=R8C9
R8C8!=R8C9
R9C1!=R9C2
R9C1!=R9C3
R9C1!=R9C4
R9C1!=R9C5
R9C1!=R9C6
R9C1!=R9C7
R9C1!=R9C8
R9C1!=R9C9
R9C2!=R9C3
R9C2!=R9C4
R9C2!=R9C5
R9C2!=R9C6
R9C2!=R9C7
R9C2!=R9C8
R9C2!=R9C9
R9C3!=R9C4
R9C3!=R9C5
R9C3!=R9C6
R9C3!=R9C7
R9C3!=R9C8
R9C3!=R9C9
R9C4!=R9C5
R9C4!=R9C6
R9C4!=R9C7
R9C4!=R9C8
R9C4!=R9C9
R9C5!=R9C6
R9C5!=R9C7
R9C5!=R9C8
R9C5!=R9C9
R9C6!=R9C7
R9C6!=R9C8
R9C6!=R9C9
R9C7!=R9C8
R9C7!=R9C9
R9C8!=R9C9

// Columns
R1C1!=R2C1
R1C1!=R3C1
R1C1!=R4C1
R1C1!=R5C1
R1C1!=R6C1
R1C1!=R7C1
R1C1!=R8C1
R1C1!=R9C1
R2C1!=R3C1
R2C1!=R4C1
R2C1!=R5C1
R2C1!=R6C1
R2C1!=R7C1
R2C1!=R8C1
R2C1!=R9C1
R3C1!=R4C1
R3C1!=R5C1
R3C1!=R6C1
R3C1!=R7C1
R3C1!=R8C1
R3C1!=R9C1
R4C1!=R5C1
R4C1!=R6C1
R4C1!=R7C1
R4C1!=R8C1
R4C1!=R9C1
R5C1!=R6C1
R5C1!=R7C1
R5C1!=R8C1
R5C1!=R9C1
R6C1!=R7C1
R6C1!=R8C1
R6C1!=R9C1
R7C1!=R8C1
R7C1!=R9C1
R8C1!=R9C1
R1C2!=R2C2
R1C2!=R3C2
R1C2!=R4C2
R1C2!=R5C2
R1C2!=R6C2
R1C2!=R7C2
R1C2!=R8C2
R1C2!=R9C2
R2C2!=R3C2
R2C2!=R4C2
R2C2!=R5C2
R2C2!=R6C2
R2C2!=R7C2
R2C2!=R8C2
R2C2!=R9C2
R3C2!=R4C2
R3C2!=R5C2
R3C2!=R6C2
R3C2!=R7C2
R3C2!=R8C2
R3C2!=R9C2
R4C2!=R5C2
R4C2!=R6C2
R4C2!=R7C2
R4C2!=R8C2
R4C2!=R9C2
R5C2!=R6C2
R5C2!=R7C2
R5C2!=R8C2
R5C2!=R9C2
R6C2!=R7C2
R6C2!=R8C2
R6C2!=R9C2
R7C2!=R8C2
R7C2!=R9C2
R8C2!=R9C2
R1C3!=R2C3
R1C3!=R3C3
R1C3!=R4C3
R1C3!=R5C3
R1C3!=R6C3
R1C3!=R7C3
R1C3!=R8C3
R1C3!=R9C3
R2C3!=R3C3
R2C3!=R4C3
R2C3!=R5C3
R2C3!=R6C3
R2C3!=R7C3
R2C3!=R8C3
R2C3!=R9C3
R3C3!=R4C3
R3C3!=R5C3
R3C3!=R6C3
R3C3!=R7C3
R3C3!=R8C3
R3C3!=R9C3
R4C3!=R5C3
R4C3!=R6C3
R4C3!=R7C3
R4C3!=R8C3
R4C3!=R9C3
R5C3!=R6C3
R5C3!=R7C3
R5C3!=R8C3
R5C3!=R9C3
R6C3!=R7C3
R6C3!=R8C3
R6C3!=R9C3
R7C3!=R8C3
R7C3!=R9C3
R8C3!=R9C3
R1C4!=R2C4
R1C4!=R3C4
R1C4!=R4C4
R1C4!=R5C4
R1C4!=R6C4
R1C4!=R7C4
R1C4!=R8C4
R1C4!=R9C4
R2C4!=R3C4
R2C4!=R4C4
R2C4!=R5C4
R2C4!=R6C4
R2C4!=R7C4
R2C4!=R8C4
R2C4!=R9C4
R3C4!=R4C4
R3C4!=R5C4
R3C4!=R6C4
R3C4!=R7C4
R3C4!=R8C4
R3C4!=R9C4
R4C4!=R5C4
R4C4!=R6C4
R4C4!=R7C4
R4C4!=R8C4
R4C4!=R9C4
R5C4!=R6C4
R5C4!=R7C4
R5C4!=R8C4
R5C4!=R9C4
R6C4!=R7C4
R6C4!=R8C4
R6C4!=R9C4
R7C4!=R8C4
R7C4!=R9C4
R8C4!=R9C4
R1C5!=R2C5
R1C5!=R3C5
R1C5!=R4C5
R1C5!=R5C5
R1C5!=R6C5
R1C5!=R7C5
R1C5!=R8C5
R1C5!=R9C5
R2C5!=R3C5
R2C5!=R4C5
R2C5!=R5C5
R2C5!=R6C5
R2C5!=R7C5
R2C5!=R8C5
R2C5!=R9C5
R3C5!=R4C5
R3C5!=R5C5
R3C5!=R6C5
R3C5!=R7C5
R3C5!=R8C5
R3C5!=R9C5
R4C5!=R5C5
R4C5!=R6C5
R4C5!=R7C5
R4C5!=R8C5
R4C5!=R9C5
R5C5!=R6C5
R5C5!=R7C5
R5C5!=R8C5
R5C5!=R9C5
R6C5!=R7C5
R6C5!=R8C5
R6C5!=R9C5
R7C5!=R8C5
R7C5!=R9C5
R8C5!=R9C5
R1C6!=R2C6
R1C6!=R3C6
R1C6!=R4C6
R1C6!=R5C6
R1C6!=R6C6
R1C6!=R7C6
R1C6!=R8C6
R1C6!=R9C6
R2C6!=R3C6
R2C6!=R4C6
R2C6!=R5C6
R2C6!=R6C6
R2C6!=R7C6
R2C6!=R8C6
R2C6!=R9C6
R3C6!=R4C6
R3C6!=R5C6
R3C6!=R6C6
R3C6!=R7C6
R3C6!=R8C6
R3C6!=R9C6
R4C6!=R5C6
R4C6!=R6C6
R4C6!=R7C6
R4C6!=R8C6
R4C6!=R9C6
R5C6!=R6C6
R5C6!=R7C6
R5C6!=R8C6
R5C6!=R9C6
R6C6!=R7C6
R6C6!=R8C6
R6C6!=R9C6
R7C6!=R8C6
R7C6!=R9C6
R8C6!=R9C6
R1C7!=R2C7
R1C7!=R3C7
R1C7!=R4C7
R1C7!=R5C7
R1C7!=R6C7
R1C7!=R7C7
R1C7!=R8C7
R1C7!=R9C7
R2C7!=R3C7
R2C7!=R4C7
R2C7!=R5C7
R2C7!=R6C7
R2C7!=R7C7
R2C7!=R8C7
R2C7!=R9C7
R3C7!=R4C7
R3C7!=R5C7
R3C7!=R6C7
R3C7!=R7C7
R3C7!=R8C7
R3C7!=R9C7
R4C7!=R5C7
R4C7!=R6C7
R4C7!=R7C7
R4C7!=R8C7
R4C7!=R9C7
R5C7!=R6C7
R5C7!=R7C7
R5C7!=R8C7
R5C7!=R9C7
R6C7!=R7C7
R6C7!=R8C7
R6C7!=R9C7
R7C7!=R8C7
R7C7!=R9C7
R8C7!=R9C7
R1C8!=R2C8
R1C8!=R3C8
R1C8!=R4C8
R1C8!=R5C8
R1C8!=R6C8
R1C8!=R7C8
R1C8!=R8C8
R1C8!=R9C8
R2C8!=R3C8
R2C8!=R4C8
R2C8!=R5C8
R2C8!=R6C8
R2C8!=R7C8
R2C8!=R8C8
R2C8!=R9C8
R3C8!=R4C8
R3C8!=R5C8
R3C8!=R6C8
R3C8!=R7C8
R3C8!=R8C8
R3C8!=R9C8
R4C8!=R5C8
R4C8!=R6C8
R4C8!=R7C8
R4C8!=R8C8
R4C8!=R9C8
R5C8!=R6C8
R5C8!=R7C8
R5C8!=R8C8
R5C8!=R9C8
R6C8!=R7C8
R6C8!=R8C8
R6C8!=R9C8
R7C8!=R8C8
R7C8!=R9C8
R8C8!=R9C8
R1C9!=R2C9
R1C9!=R3C9
R1C9!=R4C9
R1C9!=R5C9
R1C9!=R6C9
R1C9!=R7C9
R1C9!=R8C9
R1C9!=R9C9
R2C9!=R3C9
R2C9!=R4C9
R2C9!=R5C9
R2C9!=R6C9
R2C9!=R7C9
R2C9!=R8C9
R2C9!=R9C9
R3C9!=R4C9
R3C9!=R5C9
R3C9!=R6C9
R3C9!=R7C9
R3C9!=R8C9
R3C9!=R9C9
R4C9!=R5C9
R4C9!=R6C9
R4C9!=R7C9
R4C9!=R8C9
R4C9!=R9C9
R5C9!=R6C9
R5C9!=R7C9
R5C9!=R8C9
R5C9!=R9C9
R6C9!=R7C9
R6C9!=R8C9
R6C9!=R9C9
R7C9!=R8C9
R7C9!=R9C9
R8C9!=R9C9

// Squares
R1C1!=R2C2
R1C1!=R2C3
R1C1!=R3C2
R1C1!=R3C3
R1C2!=R2C1
R1C2!=R2C3
R1C2!=R3C1
R1C2!=R3C3
R1C3!=R2C1
R1C3!=R2C2
R1C3!=R3C1
R1C3!=R3C2
R2C1!=R3C2
R2C1!=R3C3
R2C2!=R3C1
R2C2!=R3C3
R2C3!=R3C1
R2C3!=R3C2
R4C1!=R5C2
R4C1!=R5C3
R4C1!=R6C2
R4C1!=R6C3
R4C2!=R5C1
R4C2!=R5C3
R4C2!=R6C1
R4C2!=R6C3
R4C3!=R5C1
R4C3!=R5C2
R4C3!=R6C1
R4C3!=R6C2
R5C1!=R6C2
R5C1!=R6C3
R5C2!=R6C1
R5C2!=R6C3
R5C3!=R6C1
R5C3!=R6C2
R7C1!=R8C2
R7C1!=R8C3
R7C1!=R9C2
R7C1!=R9C3
R7C2!=R8C1
R7C2!=R8C3
R7C2!=R9C1
R7C2!=R9C3
R7C3!=R8C1
R7C3!=R8C2
R7C3!=R9C1
R7C3!=R9C2
R8C1!=R9C2
R8C1!=R9C3
R8C2!=R9C1
R8C2!=R9C3
R8C3!=R9C1
R8C3!=R9C2
R1C4!=R2C5
R1C4!=R2C6
R1C4!=R3C5
R1C4!=R3C6
R1C5!=R2C4
R1C5!=R2C6
R1C5!=R3C4
R1C5!=R3C6
R1C6!=R2C4
R1C6!=R2C5
R1C6!=R3C4
R1C6!=R3C5
R2C4!=R3C5
R2C4!=R3C6
R2C5!=R3C4
R2C5!=R3C6
R2C6!=R3C4
R2C6!=R3C5
R4C4!=R5C5
R4C4!=R5C6
R4C4!=R6C5
R4C4!=R6C6
R4C5!=R5C4
R4C5!=R5C6
R4C5!=R6C4
R4C5!=R6C6
R4C6!=R5C4
R4C6!=R5C5
R4C6!=R6C4
R4C6!=R6C5
R5C4!=R6C5
R5C4!=R6C6
R5C5!=R6C4
R5C5!=R6C6
R5C6!=R6C4
R5C6!=R6C5
R7C4!=R8C5
R7C4!=R8C6
R7C4!=R9C5
R7C4!=R9C6
R7C5!=R8C4
R7C5!=R8C6
R7C5!=R9C4
R7C5!=R9C6
R7C6!=R8C4
R7C6!=R8C5
R7C6!=R9C4
R7C6!=R9C5
R8C4!=R9C5
R8C4!=R9C6
R8C5!=R9C4
R8C5!=R9C6
R8C6!=R9C4
R8C6!=R9C5
R1C7!=R2C8
R1C7!=R2C9
R1C7!=R3C8
R1C7!=R3C9
R1C8!=R2C7
R1C8!=R2C9
R1C8!=R3C7
R1C8!=R3C9
R1C9!=R2C7
R1C9!=R2C8
R1C9!=R3C7
R1C9!=R3C8
R2C7!=R3C8
R2C7!=R3C9
R2C8!=R3C7
R2C8!=R3C9
R2C9!=R3C7
R2C9!=R3C8
R4C7!=R5C8
R4C7!=R5C9
R4C7!=R6C8
R4C7!=R6C9
R4C8!=R5C7
R4C8!=R5C9
R4C8!=R6C7
R4C8!=R6C9
R4C9!=R5C7
R4C9!=R5C8
R4C9!=R6C7
R4C9!=R6C8
R5C7!=R6C8
R5C7!=R6C9
R5C8!=R6C7
R5C8!=R6C9
R5C9!=R6C7
R5C9!=R6C8
R7C7!=R8C8
R7C7!=R8C9
R7C7!=R9C8
R7C7!=R9C9
R7C8!=R8C7
R7C8!=R8C9
R7C8!=R9C7
R7C8!=R9C9
R7C9!=R8C7
R7C9!=R8C8
R7C9!=R9C7
R7C9!=R9C8
R8C7!=R9C8
R8C7!=R9C9
R8C8!=R9C7
R8C8!=R9C9
R8C9!=R9C7
R8C9!=R9C8

OUTPUT_EXACTLY_ONE_SOLUTION:
This is the solution: 
-------------------------
| ${R1C1} ${R1C2} ${R1C3} | ${R1C4} ${R1C5} ${R1C6} | ${R1C7} ${R1C8} ${R1C9} |
| ${R2C1} ${R2C2} ${R2C3} | ${R2C4} ${R2C5} ${R2C6} | ${R2C7} ${R2C8} ${R2C9} |
| ${R3C1} ${R3C2} ${R3C3} | ${R3C4} ${R3C5} ${R3C6} | ${R3C7} ${R3C8} ${R3C9} |
--------+-------+--------
| ${R4C1} ${R4C2} ${R4C3} | ${R4C4} ${R4C5} ${R4C6} | ${R4C7} ${R4C8} ${R4C9} |
| ${R5C1} ${R5C2} ${R5C3} | ${R5C4} ${R5C5} ${R5C6} | ${R5C7} ${R5C8} ${R5C9} |
| ${R6C1} ${R6C2} ${R6C3} | ${R6C4} ${R6C5} ${R6C6} | ${R6C7} ${R6C8} ${R6C9} |
--------+-------+--------
| ${R7C1} ${R7C2} ${R7C3} | ${R7C4} ${R7C5} ${R7C6} | ${R7C7} ${R7C8} ${R7C9} |
| ${R8C1} ${R8C2} ${R8C3} | ${R8C4} ${R8C5} ${R8C6} | ${R8C7} ${R8C8} ${R8C9} |
| ${R9C1} ${R9C2} ${R9C3} | ${R9C4} ${R9C5} ${R9C6} | ${R9C7} ${R9C8} ${R9C9} |
-------------------------

OUTPUT_HEADER:
THERE WERE FOUND ${NUMBER_OF_SOLUTIONS} SOLUTIONS!!

OUTPUT:
Solution number ${SOLUTION_NUMBER:\}: 
-------------------------
| ${R1C1} ${R1C2} ${R1C3} | ${R1C4} ${R1C5} ${R1C6} | ${R1C7} ${R1C8} ${R1C9} |
| ${R2C1} ${R2C2} ${R2C3} | ${R2C4} ${R2C5} ${R2C6} | ${R2C7} ${R2C8} ${R2C9} |
| ${R3C1} ${R3C2} ${R3C3} | ${R3C4} ${R3C5} ${R3C6} | ${R3C7} ${R3C8} ${R3C9} |
--------+-------+--------
| ${R4C1} ${R4C2} ${R4C3} | ${R4C4} ${R4C5} ${R4C6} | ${R4C7} ${R4C8} ${R4C9} |
| ${R5C1} ${R5C2} ${R5C3} | ${R5C4} ${R5C5} ${R5C6} | ${R5C7} ${R5C8} ${R5C9} |
| ${R6C1} ${R6C2} ${R6C3} | ${R6C4} ${R6C5} ${R6C6} | ${R6C7} ${R6C8} ${R6C9} |
--------+-------+--------
| ${R7C1} ${R7C2} ${R7C3} | ${R7C4} ${R7C5} ${R7C6} | ${R7C7} ${R7C8} ${R7C9} |
| ${R8C1} ${R8C2} ${R8C3} | ${R8C4} ${R8C5} ${R8C6} | ${R8C7} ${R8C8} ${R8C9} |
| ${R9C1} ${R9C2} ${R9C3} | ${R9C4} ${R9C5} ${R9C6} | ${R9C7} ${R9C8} ${R9C9} |
-------------------------


